Simulation of Quantum Algorithms with a Symbolic Programming Language
نویسنده
چکیده
This study examines the simulation of quantum algorithms on a classical computer. The program code implemented on a classical computer will be a straight connection between the mathematical formulation of quantum mechanics and computational methods. The computational language will include formulations such as quantum state, superposition and quantum operator.
منابع مشابه
Developing a software for simulation of gaseous detectors with Monte carlo method in c++ programming language
In this paper we consider a gaseous detector and supposed, because of pass of an ionizing radiation, an electron created inside it. By numerical simulation with monte carlo method and concluding the impacts, scatterings and creation of secondary electrons, we find the trajectory of initial and secondary electrons. Dependence of number of secondary electrons to applied electrical field is invest...
متن کاملAlgorithms and computer algebra from particle physics
I report on two programs, “gTybalt” and “nestedsums”, which were originally developed for the calculation of quantum loop corrections in particle physics. However, these programs solve tasks, which are not specific to particle physics. The first one, “gTybalt”, is a free computer algebra system based entirely on open-source code. The program is build on top of other packages. It offers the poss...
متن کاملScalable Hardware Verification with Symbolic Simulation
programming 8-bit pic microcontrollers in c with interactive hardware simulation PDF pro scalable net 20 application designs PDF pro scalable net 20 application designs experts voice in net PDF scalable voip mobility integration and deployment PDF vblock solution for a virtualized scalable 50000 user PDF simulation of industrial systems discrete event simulation using excelvba resource manageme...
متن کاملExtending scientific computing system with structural quantum programming capabilities
We present a basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming languages and we use quantum pseudo-code based on QCL quantum programming language to describe them. We also present the implementation of introduced structures in GNU Octave language for scientific computing. Procedures used...
متن کاملExtending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and error prone. We present a formalism, based on compact closed categories, that supports mechanised reasoning about such graphs. This gives a compositional account of graph rewriting that preserves the underlying categor...
متن کامل